Definable Transversals of Analytic Equivalence Relations
نویسندگان
چکیده
We examine the circumstances under which certain analytic equivalence relations on Polish spaces have definable transversals.
منابع مشابه
On the Size of Quotients by Definable Equivalence Relations
The study of simply definable equivalence relations, and in particular of Borei and analytic ones, on Polish spaces, has attracted a lot of attention in descriptive set theory since 1970, when the first fundamental result in the subject, Silver's theorem, was proved. One motivation has certainly been the conjecture of Vaught in model theory, one of the oldest still open problems in mathematical...
متن کاملThe Lattice of Definable Equivalence Relations in Homogeneous $n$-Dimensional Permutation Structures
In Homogeneous permutations, Peter Cameron [Electronic Journal of Combinatorics 2002] classified the homogeneous permutations (homogeneous structures with 2 linear orders), and posed the problem of classifying the homogeneous ndimensional permutation structures (homogeneous structures with n linear orders) for all finite n. We prove here that the lattice of ∅-definable equivalence relations in ...
متن کاملOn equivalence relations second order definable over H(κ)
Let κ be an uncountable regular cardinal. Call an equivalence relation on functions from κ into 2 second order definable over H(κ) if there exists a second order sentence φ and a parameter P ⊆ H(κ) such that functions f and g from κ into 2 are equivalent iff the structure 〈H(κ),∈, P, f, g〉 satisfies φ. The possible numbers of equivalence classes of second order definable equivalence relations c...
متن کاملZeta Functions from Definable Equivalence Relations
We prove that the theory of the p-adics Qp, together with a set of explicitly given sorts, admits elimination of imaginaries. Using p-adic integration, we deduce the rationality of certain formal zeta functions arising from definable equivalence relations. As an application, we prove rationality results for zeta functions obtained by counting isomorphism classes of irreducible representations o...
متن کاملOn enveloping type-definable structures
We observe simple links between preorders, semi-groups, rings and categories (and between equivalence relations, groups, fields and groupoids), which are type-definable in an arbitrary structure, and apply these observations to small structures. Recall that a structure is small if it has countably many pure n-types for each integer n. A ∅-type-definable group of finite arity in a small structur...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007